home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / Passed / test4.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  443 b   |  28 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. /*
  5.  * set and access bug buster
  6.  * assert ---> for set
  7.  * retract ---> for access
  8.  * test also unification
  9.  */
  10.  
  11. main :-
  12.     set(a([X,Y], [Y,X], [X,Y], [Y,X])),
  13.         fail.
  14. main :-
  15.     access(X),
  16.     write(X), nl, nl,
  17.     set(b(X,X,X,X)),
  18.     fail.
  19. main :- access(b(X,Y,Z,W)),
  20.     X = a(A,B,C,D),
  21.     A = [ok1,ok2],
  22.     write(W), nl, nl.
  23.  
  24.     
  25. access(N) :- access(0,N).
  26. set(N) :- set(0,N).
  27.  
  28.